Higher Order and Reactive Algebraic Specification and Development

Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in the area of general algebraic specification methodology and semantics and in the area of specific Casl extensions. Work in the latter field concerns the algebraic-coalgebraic specification language CoCasl, which integrates reactive aspects into the Casl world, and the wide-spectrum language HasCasl. HasCasl acts simultaneously as the missing link between Casl and the world of higher order logic and as a specification language geared towards a tight connection with modern functional programming languages. Moreover, HasCasl is the basis for the introduction of monadic computational logics that support modern functional-imperative programming methods.